Bola, taco, sinuca e física

Departamento de Física de Partículas

A brief review of the development of Chern-Simons gauge theory since its relation to knot theory was discovered in 1988 is presented. The presentation is done guided by a dictionary which relates knot theory concepts to quantum field theory ones. From the basic objects in both contexts the quantities leading to knot and link invariants are introduced and analyzed. The quantum field theory appro...

Practical JFSL verification using TACO

Translation of Annotated COde (TACO) is a SAT-based tool for bounded verification of Java programs. One challenge many formal tools share is to provide a practical interface for a non-proficient user. In this article, we present an Eclipse plug-in for the static verifier TACO. This plug-in allows a user to walk a counterexample trace mimicking a debugging session. TacoPlug (our plug-in) uses an...

Departament Física i Enginyeria Nuclear, FIB, UPC,

1 Instituto de Física, Universidade Federal Fluminense,

It is known now that chiral symmetry restoration requires the meson-nucleon coupling to be density dependent in nuclear-matter mean-field models. We further show that quite generally, the quark and gluon condensates in medium are related to the trace of energy-momentum tensor of nuclear matter and in these models the incompressibility, K, must be less than thrice the chemical potential, μ. In t...

TACO: a toolkit for AMPL control optimization

We describe a set of extensions to the AMPL modeling language to conveniently model mixed-integer optimal control problems for ODE or DAE dynamic processes. These extensions are realized as AMPL user functions and suffixes and do not require intrusive changes to the AMPL language standard or implementation itself. We describe and provide TACO, a Toolkit for AMPL Control Optimization that reads ...